refute an implication